Outsidein(x) modular type inference with local assumptions